Presentación

Capítulo 1
Lógica básica con afirmación y negación alternas LB

Resumen
Presentación
Sistema deductivo LB
Semántica para LB
Dos extensiones de LB
Sistemas intermedios
Conclusión

Capítulo 2
Sistema paraconsistente LBPc¬I

Resumen
Presentación
Sistema deductivo LBPc¬I
Semántica para LBPc¬I
Caracterización semántica de LBPc¬I
Características del sistema
Conclusiones

Capítulo 3
Sistema paracompleto LBPo¬C

Resumen
Presentación
Sistema deductivo LBPo¬C
Semántica para LBPo¬C
Validez de LBPo¬C
Completitud de LBPo¬C
Características del sistema
Conclusiones

Capítulo 4
Sistema paraconsistente y paracompleto LBPcPo

Resumen
Presentación
Sistema deductivo LBPcPo
Semántica para LBPcPo
Validez de LBPcPo
Completitud de LBPcPo
Características del sistema
Sistema LBVA
Conclusiones

Capítulo 5
Lógica básica para la verdad y la falsedad LBVF

Resumen
Presentación
Sistema deductivo para LBVF
Semántica para LBVF
Validez de LBVF
Completitud de LBVF
Operadores de completez
Verdad y falsedad aristotélicas
Solución a una paradoja
Conclusiones

Capítulo 6
Jerarquizando los sistemas

Resumen
Sistemas intermedios
Jerarquización de los sistemas intermedios
Conclusión

Anexo 1
Sistema deductivo para la lógica clásica

Resumen

Anexo 2
Lógica básica paraconsistente y paracompleta y sus extensiones

Resumen
Lógica básica paraconsistente y paracompleta como extensión de la lógica clásica
Lógica básica paraconsistente y paracompleta sin negación clásica
Lógica básica paraconsistente
Lógica básica paracompleta
Lógica positiva paraconsistente y paracompleta
Lógica paraconsistente y paracompleta
Lógica básica paraconsistente y paracompleta débil a nivel atómico
Lógica paraconsistente y paracompleta a nivel atómico
Retículo de contenencias

Referencias bibliográficas

Filtros

Lógica básica para la verdad aristotélica

Argumentación deductiva con diagramas y árboles de forzamiento